/*
 * Copyright (c) Huawei Technologies Co., Ltd. 2021-2021.
 * Description: head file of count idle time.
 * Author:xiechengliang
 * Create: 2021-03-30
 */

#ifndef RTOS_IDLE_H
#define RTOS_IDLE_H

#ifdef CONFIG_RTOS_COUNT_IDLE_TIME
#include <linux/types.h>
void tick_idle_enter(void);
void tick_idle_exit(void);
u64 rtos_get_idle_time(int cpu);
#endif
#endif
